Symbolic Query Exploration
نویسندگان
چکیده
We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theory that includes arithmetic, tuples, and sets, and translate the generation problem into a satisfiability or model generation problem modulo the background theory. We use the satisfiability modulo theories (SMT) solver Z3 in the concrete implementation. We describe an application of model generation in the context of the database unit testing framework of Visual Studio.
منابع مشابه
A framework for Mixed Symbolic-based and Feature-based Query by Example Image Retrieval
This paper defines and studies the use of query by example (QBE) in the context of photograph retrieval. The novelty of our approach lies in considering an automatic indexing process of photographs as well as a representation of the features of image regions in a single knowledge representation formalism. Both symbolic and feature based representation are used during the query by example proces...
متن کاملSubsumer-first: A new Heuristic for Guided Symbolic Reachability Analysis
State space exploration using symbolic techniques provides a basis for the verification of software systems. The exploration procedure has direct impact on the overall effectiveness of the verification efforts. For example, choosing the breadth-first exploration strategy results in a verification tool that finds counterexamples quickly, but may sacrifice the efficiency of the reachability analy...
متن کاملActive Exploration for Learning Symbolic Representations
We introduce an online active exploration algorithm for data-efficiently learning an abstract symbolic model of an environment. Our algorithm is divided into two parts: the first part quickly generates an intermediate Bayesian symbolic model from the data that the agent has collected so far, which the agent can then use along with the second part to guide its future exploration towards regions ...
متن کاملPolyphonic Score Retrieval Using Polyphonic Audio Queries: A Harmonic Modeling Approach
This paper extends the familiar “query by humming” music retrieval framework into the polyphonic realm. As humming in multiple voices is quite difficult, the task is more accurately described as “query by audio example”, onto a collection of scores. To our knowledge, we are the first to use polyphonic audio queries to retrieve from polyphonic symbolic collections. Furthermore, as our results wi...
متن کاملFrom Pre-historic to Post-modern Symbolic Model Checking
Symbolic model checking, which enables the automatic verification of large systems, proceeds by calculating with expressions that represent state sets. Traditionally, symbolic model-checking tools are based on backward state traversal; their basic operation is the function , which given a set of states, returns the set of all predecessor states. This is because specifiers usually employ formali...
متن کامل